Shallow embedding
#Fleeting_Notes
Shallow embedding(浅い符号化法)
ref:
2006,
自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について
JAIST Repository: 自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）
型理論での形式的証明記述の技法について
確認用
Q. Shallow embedding
調査用
/pogi-log/Google.icon
浅い符号化法(日)
/pogi-log/Google.icon
Shallow embedding(日)
/pogi-log/Google.icon
Shallow embedding(英)
/pogi-log/Wikipedia.icon
浅い符号化法 - Wikipedia(日)
浅い符号化法(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Shallow embedding - Wikipedia(英)
Shallow embedding(検索) - Wikipedia(英)